1. Industrial-Strength Formal Methods in Practice
Author: edited by Michael G. Hinchey, Jonathan P. Bowen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
Classification :
QA76
.
9
.
F67
E358
1999
